منابع مشابه
Recasting the Elliott Conjecture
Let A be a simple, unital, finite, and exact C-algebra which absorbs the Jiang-Su algebra Z tensorially. We prove that the Cuntz semigroup of A admits a complete order embedding into an ordered semigroup which is obtained from the Elliott invariant in a functorial manner. We conjecture that this embedding is an isomorphism, and prove the conjecture in several cases. In these same cases — Z-stab...
متن کاملThe Elliott Conjecture for Villadsen Algebras of the First Type
We study the class of simple C-algebras introduced by Villadsen in his pioneering work on perforated ordered K-theory. We establish six equivalent characterisations of the proper subclass which satisfies the strong form of Elliott’s classification conjecture: two C-algebraic (Z-stability and approximate divisibility), one K-theoretic (strict comparison of positive elements), and three topologic...
متن کاملLocalizing the Elliott Conjecture at Strongly Self-absorbing C-algebras, II —–An Appendix
This note provides some technical support to the proof of a result of W. Winter which shows that two unital separable simple amenable Z-absorbing C∗-algebras with locally finite decomposition property satisfying the UCT whose projections separate the traces are isomorphic if their K-theory is finitely generated and their Elliott invariants are the same.
متن کاملLocalizing the Elliott Conjecture at Strongly Self-absorbing C * -algebras – with an Appendix by Huaxin Lin –
We formally introduce the concept of localizing the Elliott conjecture at a given strongly self-absorbing C∗-algebra D; we also explain how the known classification theorems for nuclear C∗-algebras fit into this concept. As a new result in this direction, we employ recent results of Lin to show that (under a mild K-theoretic condition) the class of separable, unital, simple C∗-algebras with loc...
متن کاملRecasting MLF
The language MLF has been proposed as an alternative to System F that permits partial type inference a la ML. It differs from System F by its types and type-instance relation. Unfortunately, the definition of type instance is only syntactic, and not underpinned by some underlying semantics. It has so far only been justified a posteriori by the type soundness result. In this work, we revisit MLF...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematische Annalen
سال: 2007
ISSN: 0025-5831,1432-1807
DOI: 10.1007/s00208-007-0093-3